Section: Software

Clem

The Clem Toolkit  [61] (see Figure 6 ) is a set of tools devoted to design, simulate, verify and generate code for le  [17] [71] programs. This latter is a synchronous language supporting a modular compilation. The language also supports automata possibly designed with a dedicated graphical editor. The Clem toolkit comes with a simulation tool. Hardware description (Vhdl) and software code (C) are generated for le programs. Moreover, we also generate files to feed the NuSMV model checker [57] in order to perform validation of program behaviors.

Figure 6. The Clem Toolkit